How to run JCircus:
-------------------

1) Unzip JCircus-bin.zip in any directory. This directory will be referred to as <dir>.


2) Execute JCircus.bat.


	
How to create and run a project in Eclipse for the project created by JCircus:
------------------------------------------------------------------------------

1) Click File -> New -> Project...

2) In the new window that is opened, select Java Project and click Next.

3) In the next window:

	In "Project Name", enter any name for the project. 
	
	In "Location", select "Create project at external location"
	
	In "Directory", enter (or browse) the project directory. If your output
directory is <output-dir> and the name of the project is <name-proj>, then the 
project directory is <output-dir>\<name-proj>.
	
	Click Next.

4) In the next window:

	In the tab Source, in "Source folders on build path", probably the directory
	<proj-name>/src will already be inserted; if it is not, click "Add Folder",
	select the folder "src" in the new window that is opened, and click OK.
	
	In the tab Libraries, click "Add External JARs" browse these two files:
	<dir>\jcircus-bin\output\lib\jcspclasses.jar
	<dir>\jcircus-bin\output\lib\phwclasses.jar
	<dir>\jcircus-bin\output\lib\JCircusUtil.jar
	and click "Open".
	
	Click Finish.
	
	
The project will be created (see Package Explorer) and compiled. To run,
right-click in any of the class nodes in <name-proj> package and choose
Run -> Java Application.	



How run the project created by JCircus using the .bat file provided:
--------------------------------------------------------------------

JCircus create a .bat file for each process definition that is chosen to
have a class Main. The .bat file compiles the project and executes the
class Main. It is created in folder <name-proj>/src.

The .bat file requires as parameter the path of the JCSP and JCircusUtil libraries.
The libraries are in the directory 'lib' of this distribution.

If you chose as output dir the directory 'output' provided by this distribution, you
can run the .bat file for a process called GCD, for instance, as follows:

>Run_GCD.bat ..\..\lib
